Feeds to Scour
SubscribedAll
Scoured 121685 posts in 27.8 ms
The SCAN Statistical Model Checker  🌳Instruction Selection
arxiv.org·1d·
Validating Hare’s Sort Module using Symbolic Execution  🎲Quickcheck
notes.8pit.net·6h·Lobsters·
Can We Secure AI With Formal Methods? January-March 2026  🛡️AI Security
lesswrong.com·3h·
A parallel magnetic tunnel junction-based probabilistic Ising processor for efficient quadratic optimization  ⚛️Quantum Computing
nature.com·3d·
llm-all-models-async 0.1  🦙Ollama
simonwillison.net·2d·
The Type Theorists need to take a look at Zig  📐Type Theory
pure-systems.org·6d·Hacker News·
Bayesian and geometric analyses of power spectral densities of spin qubits in Si/SiGe quantum dot devices  ⚛️Quantum Computing
link.aps.org·6d·
Taking multi-master MariaDB for a spin, reproducing a Jepsen report  🌊SeaORM
notes.eatonphil.com·4d·
GraSP-STL: A Graph-Based Framework for Zero-Shot Signal Temporal Logic Planning via Offline Goal-Conditioned Reinforcement Learning  🧩Constraint Programming
arxiv.org·1d·
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution  🔍KLEE
arxiv.org·2d·
Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning  🌊CALM Theorem
arxiv.org·1d·
Conformalized Signal Temporal Logic Inference under Covariate Shift  ⏰Lamport Clocks
arxiv.org·2d·
Synchronous Signal Temporal Logic for Decidable Verification of Cyber-Physical Systems  📐TLA+
arxiv.org·6d·
Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic  🌳Pratt Parsing
arxiv.org·2d·
LLM-Enabled Low-Altitude UAV Natural Language Navigation via Signal Temporal Logic Specification Translation and Repair  🦙Ollama
arxiv.org·2d·
UMBRELLA: Uncertainty-aware Multi-robot Reactive Coordination under Dynamic Temporal Logic Tasks  ⚓Anchors
arxiv.org·6d·
Benchmarking simulation of hybrid decoding scheme for parity-encoded spin systems  ⚛️Quantum Computing
arxiv.org·2d·
Bethe Ansatz with a Large Language Model  ⚛️Quantum Computing
arxiv.org·1d·
Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels  🔍KLEE
arxiv.org·6d·
A Hierarchy of Spectral Gap Certificates for Frustration-Free Spin Systems  🔓Lock-Free Programming
arxiv.org·1d·

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help